Subject: characteristics incompatibilities

From: steven hecker <[email-masked]>
Date: Mon, 9 Aug 93 14:17:23 -0400

I would rather see the first Alternative stated by Jack:
Set_Send_Type, Set_Prepare_To_Receive_Type, and Set_Deallocate_Type
should ALWAYS receive CM_PROGRAM_STATE_CHECK in Initialize_Incoming state.